piecewise-defined functions